Computable function - PDFSEARCH.IO - Document Search Engine

Computable function
Results: 170

#	Item
41	Preface Computable analysis is a branch of computability theory studying those functions on the real numbers and related sets which can be computed by machines such as digital computers. The increasing demand for reliab Add to Reading List Source URL: www.fernuni-hagen.de Language: English - Date: 2009-09-05 02:34:00 Mathematical logic Computable function Computable number Computable analysis Computable real function Specker sequence Enumeration Computability Numbering Computability theory Theory of computation Theoretical computer science
42	arXiv:1204.6671v1 [cs.LO] 30 Apr 2012 δ-Decidability over the Reals∗ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAMay 1, 2012 Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-04-30 22:29:41 Mathematical logic Theory of computation Computable number Computable function Bounded quantifier Computable real function Function Oracle machine Decision problem Computability theory Theoretical computer science Mathematics
43	Math 260ABC Introduction to Mathematical Logic Fall 1988-Sprint 1989 Instructor: Sam Buss Department of Mathematics University of California, San Diego Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2009-01-29 21:32:37 Computer science Turing machine Models of computation Alan Turing Computable function Computability Busy beaver Universal Turing machine Computability theory Theoretical computer science Theory of computation
44	Universal Field Machine that Computes Beyond the Turing Limit ´ M. Fernandez ´ Julian Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Computer science Halting problem Computability Universal Turing machine Turing machine Computable function Church–Turing thesis Algorithm Alan Turing Computability theory Theoretical computer science Theory of computation
45	How to Acknowledge Hypercomputation? Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Computer science Computability theory Hypercomputation Oracle machine Computability Digital physics Halting problem Computable function Decision problem Theoretical computer science Applied mathematics Theory of computation
46	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-02 11:05:18 Cognitive science Ethology ACT-R Computable function Cognition Science Mind Cognitive architecture
47	Analysing effects of energy policy by linking the TIMES-Norway with a multi-regional SCGE model 63rd Semi-annual ETSAP meeting Add to Reading List Source URL: www.iea-etsap.org Language: English - Date: 2013-07-16 07:36:44 Elasticity Consumer theory Constant elasticity of substitution Econometrics Cobb–Douglas production function Computable general equilibrium Elasticity of substitution Production function Leontief production function Microeconomics Economics Utility
48	The Origin of Physical Laws and Sensations Bruno Marchal, IRIDIA, Université de Bruxelles Résumé : I will first present a non constructive argument showing that the mechanist hypothesis in cognitive science gives enou Add to Reading List Source URL: iridia.ulb.ac.be Language: English - Date: 2007-06-27 08:53:52 Computability theory Theory of computation Quantum measurement Alan Turing Quantum mechanics Church–Turing thesis Computable function Quantum indeterminacy Indeterminacy Theoretical computer science Physics Science
49	1 Fixed-Parameter Tractability In this chapter, we introduce parameterized problems and the notion of fixed-parameter tractability. We start with an informal discussion that highlights the main issues behind the definiti Add to Reading List Source URL: lii.rwth-aachen.de Language: English - Date: 2014-02-04 08:14:43 NP-complete problems Analysis of algorithms Computability theory Complexity classes Parameterized complexity Dominating set Time complexity Computable function Parameter Theoretical computer science Computational complexity theory Applied mathematics
50	An Econometric Input-output model for EU countries based on Supply & Use tables: the production side Frederik NEUWAHL, Andreas UIHLEIN and Aurelien GENTY European Commission, Joint Research Centre, Institute for Prospec Add to Reading List Source URL: www.iioa.org Language: English* - Date: 2009-10-17 10:15:31 Demand Elasticity Computable general equilibrium Cobb–Douglas production function Production function Supply Income elasticity of demand Price elasticity of demand Productivity Economics Consumer theory Microeconomics